541. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sang Lyul Min ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses,Embedded computer systems-- Programming, Congresses,Ubiquitous computing, Congresses
542. Software technologies for embedded and ubiquitous systems: 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008. proceedings
پدیدآورنده : Uwe Brinkschulte, Tony Givargis, Stefano Russo )eds.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming -- Congresses ، Embedded computer systems,Congresses ، Ubiquitous computing,Distributed processing -- Congresses ، Electronic data processing
رده :
TK
7895
.
E42
S42
2008
543. Stabilization, Safety, and Security of Distributed Systems
پدیدآورنده : \ Andrzej Pelc , Alexander A. Schwarzmann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Self-stabilization (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Safety measures -- Congresses.,خودثباتی (کامپیوتر) -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- پيش بينيهاي ايمني -- کنگره ها
رده :
QA
76
.
9
.
S54
2015
E-Book
,
544. Stabilization, safety, and security of distributed systems
پدیدآورنده : Rachid Guerraoui ; Franck Petit (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2009
545. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
546. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
547. Stabilization, safety, and security of distributed systems
پدیدآورنده : Andréa W. Richa, Christian Scheideler (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Reliability, Congresses,Computer networks-- Security measures, Congresses,Electronic data processing-- Distributed processing, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2012eb
548. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
پدیدآورنده : Borzoo Bonakdarpour, Franck Petit )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Self-stabilization )Computer science(,Safety measures -- Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
10083
549. Statistical atlases and computational models of the heart :
پدیدآورنده : Oscar Camara [and five others], eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer vision.,Electronic data processing.,Information storage and retrieval systems.
550. Stepwise refinement of distributed systems :
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
551. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
552. Structural Information and Communication Complexity :
پدیدآورنده : Keren Censor-Hillel, Michele Flammini (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
A43
553. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
554. Supporting Real Time Decision-Makin
پدیدآورنده : / [electronic resource]
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Informations systems,Real-time data processing,Business,Computer science,Science,Electronic books
رده :
.
S87
2011
T58
.
62
555. TRON project 1983: open-architecture cpmputer systems/ Proceedings of the fifth TRON Project Symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer architecture,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
9
.
A73
.
T76
1988
556. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel processing )Electronic computers( , Electronic data processing - Distributed processing , Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
557. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing,، Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
558. The Handbook of Data Communications and Networks :
پدیدآورنده : by W.J. Buchanan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)
رده :
TK5105
.
B995
2004
559. The grid
پدیدآورنده : / Maozhen Li, Mark Baker
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computational grids (Computer systems),Electronic data processing- Distributed processing
رده :
QA76
.
9
.
C58L5
2005
560. The grid :core technologies
پدیدآورنده : Li, Maozhen.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Computational grids )Computer systems(,Distributed processing ، Electronic data processing
رده :
QA
76
.
9
.
C58
L5
2005
